Structure-preserving specification languages for knowledge-based systems
نویسندگان
چکیده
منابع مشابه
Structure-preserving specification languages for knowledge-based systems
Much of the work on validation and verification of knowledge based systems (KBSs) has been done in terms of implementation languages (mostly rule-based languages). Recent papers have argued that it is advantageous to do validation and verification in terms of a more abstract and formal specification of the system. However, constructing such formal specifications is a difficult task. This paper ...
متن کاملSpecification Languages for Preserving Consistency between Models of Different Languages
In this thesis, we present three languages for the development of tools that keep di erent system representations consistent during software development. When complex IT systems are developed, it is common practice to use several programming and modelling languages. System parts are designed and represented using di erent languages in order to support various design and development tasks. The o...
متن کاملSpecification of Dynamics for Knowledge-Based Systems
During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects: they have to provide means to specify a complex and la...
متن کاملSpecification and Verification of Knowledge - Based Systems
The paper introduces a formal approach for the specification and verification of knowledge-based systems. We identify different elements of such a specification: a task definition, a problem-solving method, a domain model, an adapter, and assumptions that relate these elements. We present abstract data types and a variant of dynamic logic as formal means to specify these different elements. Bas...
متن کاملProcessing Knowledge to Support Knowledge-based Engineering Systems Specification
During design phase, engineering activities typically involve large groups of people from different domains and disciplines. These differences often generate important information flows that are difficult to manage. To face these difficulties, a knowledge engineering process is necessary to structure the information and its use This article, presents a deployment of a knowledge capitalization p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Human-Computer Studies
سال: 1996
ISSN: 1071-5819
DOI: 10.1006/ijhc.1996.0010